Mathematical structure

Results: 1236



#Item
161

SparsityBoost: A New Scoring Function for Learning Bayesian Network Structure Eliot Brenner,∗ David Sontag Courant Institute of Mathematical Sciences New York University

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2013-05-27 23:10:39
    162Chemistry / Nature / Stereochemistry / Protein structure / Mathematical optimization / Conformational isomerism / Isomerism / Physical organic chemistry / Genetic algorithm / Transputer / Dihedral angle / Amino acid

    A PARALLEL HYBRID GA FOR PEPTIDE 3-D STRUCTURE PREDICTION 1 Carlos A. DEL CARPIO and Shin-ichi SASAKI

    Add to Reading List

    Source URL: www.jsbi.org

    Language: English - Date: 1998-01-09 02:50:18
    163

    Rev. Mat. Iberoam., 1–32 c European Mathematical Society ⃝ Dyadic structure theorems for

    Add to Reading List

    Source URL: www.math.brown.edu

    Language: English - Date: 2014-06-12 11:48:56
      164Type theory / Mathematical logic / Logic / Hierarchy / Structure / Reasoning / Automated theorem proving / Epistemology / Inductive reasoning / Nuprl / Logic programming

      Nuprl's Inductive Logical Forms

      Add to Reading List

      Source URL: www.ai4fm.org

      Language: English - Date: 2015-09-02 07:29:35
      165Computability theory / Mathematical logic / Model theory / Structure / Universal algebra / Reduction / Symbol / Sigma-algebra / Decomposition of spectrum

      Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

      Add to Reading List

      Source URL: pub.ist.ac.at

      Language: English - Date: 2014-06-19 17:23:20
      166

      Rev. Mat. Iberoam., 1–32 c European Mathematical Society ⃝ Dyadic structure theorems for

      Add to Reading List

      Source URL: www.math.brown.edu

      Language: English - Date: 2014-06-12 11:48:56
        167Algebra / Mathematics / Abstract algebra / Universal algebra / Mathematical structures / Mathematical logic / Algebraic structures / Magma / Sigma-algebra / Structure / F-algebra / Model theory

        J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

        Add to Reading List

        Source URL: www.math.ru.nl

        Language: English - Date: 2008-01-31 05:33:25
        168Chemistry / Mathematical analysis / Bioinformatics / Protein structure / Molecular modelling / Fourier analysis / Computational chemistry / Docking / Spherical harmonics / Macromolecular docking / Fourier transform

        Genome Informatics 16(2): 161–A Fast Protein-Protein Docking Algorithm Using Series Expansion in Terms of Spherical Basis Functions

        Add to Reading List

        Source URL: www.jsbi.org

        Language: English - Date: 2005-12-28 06:18:59
        169Mathematics / Mathematical logic / Data modeling / Functional dependency / Permutation / Equivalence relation / Cardinal number / Cardinality / Tuple / Subset / Structure

        The VLDB Journal:103–128 DOIs00778z REGULAR PAPER Sampling from repairs of conditional functional dependency

        Add to Reading List

        Source URL: cs.uwaterloo.ca

        Language: English - Date: 2014-05-02 10:41:42
        170Mathematics / Logic / Mathematical structures / Mathematical logic / Model theory / Universal algebra / Metalogic / Lawvere theory / Topology / William Lawvere / Structure

        Intro First-order theories Higher-order theories

        Add to Reading List

        Source URL: www.lama.univ-savoie.fr

        Language: English - Date: 2010-09-16 03:38:56
        UPDATE